using System;
using System.Collections.Generic;
using System.Text;

using KLATencor.CommonApp.Infrastructure.StateMachine;

namespace StateMachine_Graphical_Editor.Utils.Forms_RunTime_Managment
{
    /// <summary>
    /// Provides functionality to manage a state machine form by a FormDescriptor
    /// </summary>
    public interface IFormManagment
    {
        string getName();

        State getState();

        void setCurrentState(State current);

        void setLastTransition(Transition current);

        void showForm();

        void closeForm();

        void activateForm();

        void permitEventLaunching(bool isPermitted);
    }
}
